step-wise refinement
英 [step waɪz rɪˈfaɪnmənt]
美 [step waɪz rɪˈfaɪnmənt]
网络 逐步求精
双语例句
- The step-wise refinement concept is presented and a mutual exclusion access system in LOTOS Specification is described.
提出了渐进细化的概念，并将其应用于互斥访问系统中，同时用LOTOS规范进行描述。 - Application of step-wise refinement design to mutual exclusion access system based on LOTOS
LOTOS渐进细化设计方法在互斥访问系统中的应用